Section: New Results

Spatio-temporal constraints for mobile systems, with automotive driving assistance illustrations

Participants : Frédéric Mallet, Joëlle Abou Faysal, Robert de Simone, Xiaohong Chen.

The objective here is to extend constraint specifications to encompass spatial aspects in addition to logical multiform time. Spatio-temporal logics and requirement formalisms are thus an inspiration here. But mobility requests additionally that these spatio-temporal relations evolve in time. We are investigating in several directions:

• a target methodological approach is to consider these spatio-temporal relations to express safe driving rules as requirements or guarantees, meant to (in)validate trajectory proposals computed by a lower-level algorithmic system (itself operating on more direct neighborhood information). A realistic size case study is handled in collaboration with Renault Software Labs, as part of the CIFRE PhD contract of Joëlle Abou-Faysal, to define the precise needs in expressiveness and formal validation.

• Preliminary definitions of a spatio-temporal requirement specification languages, borrowing ideas from spatio-temporal logics and formal mobile process modeling (none of which being sufficient to our aim), is being progressed in collaboration with fellow researchers from ECNU Shanghai [20].